BENEFITS: Strong Testing of Critical Modules. Reduced High-Impact Defect Counts. Improved Test Efficiency.

KEY FEATURES: Proof of Correctness Type Testing. Extremely Thorough Function Testing.

APPLICATIONS: Unit Testing. Integration Testing. Critical Modules Testing.

TestWorks INDEX VALUE: +80 Points if Ct > 10%.

TCAT-PATH, a module-oriented path coverage analysis tool, stands alone or works as part of TestWorks' fully integrated TestWorks/Coverage tool suite. TCAT-PATH automatically identifies end-to-end sequences of logical branches that overall exercise every path in a program and every loop at least once. These equivalence classes of program flow correspond to verification (formal proof) level testing of a function. TCAT-PATH's Ct metric and measurement capability is unique in the software test community.

Intended for analyzing the most-critical modules in any application, path coverage can be used to extend TestWorks/Coverage's TCAT logical branch coverage and/or call-pair coverage at the unit test level. TCAT-PATH's Ct metric expresses the percent of all available execution classes for the module that have actually been exercised.

TCAT-PATH works from an instrumented copy of the Application Under Test (AUT), extracts branch execution sequences, and matches actual branch sequences with the predicted sequences. The Ct metric reported is the percent of actual paths taken (counting all multiple iterations of loops together) vs. the available path count.

When the Ct coverage report reveals paths that were not exercised, TCAT-PATH extracts and displays the specific sequence of logical conditions that would cause the path to execute. This provides the essential information needed to design new test cases that do exercise the indicated paths.

Click Here for Screen Shots showing TestWorks Capabilities and Facilities.

Software Research, Inc. 625 Third Street San Francisco, CA 94107-1997 USA Phone: +1 (415) 957-1441 or +1 (800) 942-SOFT [USA Only] FAX: +1 (415) 957-0730 info@soft.com